human_arch	= 64 bit x86
build_arch	= x86_64
header_arch	= $(build_arch)
defconfig	= defconfig
flavours	= generic lowlatency
build_image	= bzImage
kernel_file	= arch/$(build_arch)/boot/bzImage
install_file	= vmlinuz
loader		= grub
vdso		= vdso_install
no_dumpfile	= true
uefi_signed     = true
do_tools_cpupower = true
do_tools_perf   = true
do_tools_x86	= true
do_tools_hyperv	= true
do_extras_package = true
